Topological Antidotes to the State Space Explosion Problem
نویسنده
چکیده
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملReduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)
This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD ...
متن کاملبررسی اثر استفاده از معادله حالت گاز حقیقی بر شبیه سازی انفجار و کالیبراسیون تجربی معادله حالت
The high-expensive empirical analysis of blast waves motivates the researchers to investigate the explosion using numerical simulations. The literature shows that the computational fluid dynamics predicts the blast wave behavior accurately. Meanwhile, many methods such as the turbulence method, and the method of applying the explosion energy to the equations were presented to increase the accur...
متن کاملA Second Order Accurate Method in Simulation of Underwater Explosion
In this paper, a numerical scheme is proposed for the multi-fluid compressible flows. This method is applied to the problem of underwater explosion. The proposed scheme is basically the extension of Godunov method in gas dynamic problems to the multifluid environments and is second-order accurate in space. In this method, also, the problem of artificial mixing of two different phases on Euleria...
متن کامل